Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
51	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
52	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
53	1 Duplication-Correcting Codes for Data Storage in the DNA of Living Organisms Siddharth Jain, Farzad Farnoud (Hassanzadeh), Member, IEEE, Moshe Schwartz, Senior Member, IEEE, Jehoshua Bruck, Fellow, IEEE Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2016-06-01 05:46:52 Mathematics Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Polynomials Fundamental theorem of algebra Permutation polynomial
54	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Tuple
55	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
56	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
57	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
58	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
59	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL